Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Validation
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท11hยท
Discuss: DEV
โœ…Format Validation
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
๐Ÿ’พBinary Linguistics
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
A small rant about compression
codecs.multimedia.cxยท2d
๐Ÿ“ฆDeflate
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
APRS over LoRa with RNode | unsigned.io
unsigned.ioยท8h
๐Ÿ“ปHomebrew Protocols
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.orgยท1d
๐Ÿ›กCybersecurity
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.comยท2d
๐Ÿ“บVT100
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs